Hungarian verb movement. A deductive perspective

As indicated by many researchers (Lecomte, 1998; Cornell, 1997) the minimalist framework as worked out in the Minimalist Program (Chomsky, 1995) and the resource conscious logics such as Multimodal Categorial Grammar (Moortgat, 1996) show many similarities. The two theories are the product of distinct scientific traditions, but they aim to give a similar explanation for grammatical knowledge and the use of that knowledge. Stabler (1999) gives an algebraic framework to capture the main features of the Minimalist Program. Stabler’s Minimalist Grammar (= MG) defines lexical feature specifications and tree structures to formulate grammars for Natural Language. A grammar consists of a lexicon, a set of feature specifications, closed under a set of basic structure building operations such as merge and move. Multimodal Categorial Grammar (MMCG) is a logical deductive theory of Natural Language. A multimodal grammar consists of a lexicon, logical formulas assigned to words, and operations, the rules of inferences. These rules are split up into logical inferences, the introduction and elimination rules of the unary and binary connectives, and structural inferences, which manipulate the structural composition between words. In this paper, I will show how MMCG deals with the minimalist theory of movement in a specific case such as Hungarian verb movement. First I will specify the basic structure building operations merge and move and show how they are defined in the Minimalist Grammar formalism of Stabler (1999). Section 20.3 describes the phenomenon of verb modifier climbing and